windowManager: Disable bottom edge swipe gesture if OSK is enabled

It does not make sense then, plus it eats events close to the edge.

diff --git a/js/ui/windowManager.js b/js/ui/windowManager.js
index 8450cfd333bd3a72789ee1e5aaaee9fbb58b6707..16239a25546b3c7ce3651f4b7929e132dc64b2a5 100644 (file)
--- a/js/ui/windowManager.js
+++ b/js/ui/windowManager.js
@@ -1071,6 +1071,10 @@ var WindowManager = class {
         gesture.connect('activated', () => {
             Main.keyboard.show(Main.layoutManager.bottomIndex);
         });
+        Main.layoutManager.connect('keyboard-visible-changed', (manager, visible) => {
+            gesture.cancel();
+            gesture.set_enabled(!visible);
+        });
         global.stage.add_action(gesture);
 
         gesture = new EdgeDragAction.EdgeDragAction(St.Side.TOP, mode);